$\forall$$p$:FinProbSpace, $q$:$\mathbb{Q}$, $C$:p{-}open($p$). measure($C$) $\leq$ $q$ $\in$ $\mathbb{P}$